1.5.3 limit at infinity